//C08:8.2:echo_eof.c -- repeat input, until the end of a file.
#include <stdio.h>

int main(void)
{
	int ch;

	while ((ch = getchar()) != EOF)
	{
		putchar(ch);
	}
}
